theory of types

[计] 类型论

热门查询

baker　　n. 面包师；面包工人；（便携式）烘炉
siltation　　n. 淤积；聚积
diapause　　n. 滞育（指某些昆虫的发育停滞）；间歇期
barrage　　n. 弹幕；阻塞；齐射式攻击；[水利] 拦河坝 vt. 以密集炮火进攻 vi. 以密集火力阻击 n. (Barrage)人名；(阿拉伯)巴拉杰
Mohammedan　　adj. 回教的；伊斯兰教的；穆罕默德的 n. 伊斯兰教徒
Atlantean　　adj. 力大无比的；亚特兰提斯岛的
radioman　　n. 无线电人员；无线电技师
twist　　n. 扭曲；拧；扭伤 vt. 捻；拧；扭伤；编织；使苦恼 vi. 扭动；弯曲 n. (Twist)人名；(英)特威斯特
unrecoverable　　adj. 不可恢复的
multiplicity　　n. 多样性；[物] 多重性
aeolian　　n. 伊奥利亚人（居住于希腊中部）；伊奥利亚语 adj. 伊奥利亚（人）的；风神的
homogenization　　n. 均化；[机] 均化作用
peyote　　n. 佩奥特掌（仙人掌的一种）
buck　　n. （美）钱，元；雄鹿；纨绔子弟；年轻的印第安人或黑人 n. (Buck)人名；(英、西)巴克；(法)比克；(德、瑞典、匈)布克
Andover　　安杜佛（美国马萨诸塞州东北劳伦斯以南的一个城镇。菲利普斯·安杜佛学院（建于1778年）就在这里，人口29， 151）
angular　　adj. [生物] 有角的；生硬的，笨拙的；瘦削的
snotty　　adj. 流鼻涕的，尽是鼻涕的；下贱的
genocidal　　adj. 集团屠杀的，种族灭绝的
psycholinguist　　语言心理学家
sideswipe　　n. 侧击；横击 vt. 擦边撞击；沿边擦过 vi. 沿边擦过；擦边撞击